Agent Logic - PDFSEARCH.IO - Document Search Engine

Agent Logic
Results: 192

#	Item
141	Planning Speech Acts in a Logic of Action and Change∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,patdo}@ida.liu.se Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2009-05-27 04:27:07 Artificial intelligence Epistemology Knowledge representation Logic programming Mathematical logic Frame problem Intelligent agent Speech act Resolution Logic Science Knowledge
142	Two Aspects of Automating Logics of Action and Change \| Regression and Tractability Marcus Bjareland February 6, 1998 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:15:27 Knowledge Reasoning Knowledge representation Logic programming Epistemology Frame problem Knowledge representation and reasoning Software agent Mathematical logic Artificial intelligence Science Logic
143	Using theorem proving to verify properties of agent programs N. Alechina, M. Dastani, F. Khan, B. Logan and J.-J. Ch. Meyer Abstract We present a sound and complete logic for automatic verification of SimpleAPL programs. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 08:44:44 Deduction Entailment 3APL Logic Multi-agent systems 2APL
144	CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2008; ?:1 Prepared using cpeauth.cls [Version: [removed]v2.02] Analysing probabilistically constrained optimism Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-07-02 11:03:27 Digital electronics Simulation Agent-based model Discrete event simulation Algorithm Logic simulation Variance Multi-agent system Scientific modeling Electronic engineering Science
145	Microsoft Word - 5. Rental Property Authorized Agent Utility Billing Address change Form Add to Reading List Source URL: imageserv11.team-logic.com Language: English - Date: 2015-01-14 13:51:09 Geography of the United States Mail Middletown Connecticut Email Middletown Ohio Middletown Township New Jersey Ohio Postal system Address Human geography
146	ENV299Y1 Research Opportunity Course[removed]Name and Title: Department: Phone Number: Dr. Brad Bass, Adjunct Professor Add to Reading List Source URL: www.environment.utoronto.ca Language: English - Date: 2014-11-26 16:20:12 Agent-based model Psychological resilience Logic simulation Science Electronic engineering Operations research Simulation
147	DDDAS Workshop: WG2 - Mathematical and Statistical Algorithms Craig C. Douglas, George Biros, and many friends More Funding, Less Filing Add to Reading List Source URL: www.dddas.org Language: English - Date: 2006-01-22 19:14:02 Control theory Systems theory Formal sciences Computational science Algorithm Mathematical logic Agent-based model Data mining Kalman filter Science Scientific modeling Statistics
148	The Change Agent’s TOOL BOX April 2001 Add to Reading List Source URL: www.nasmhpd.org Language: English - Date: 2012-07-30 15:38:58 Sociology Systems engineering Program evaluation Enterprise application integration Systems engineering process Logic model Behavioral health outcomes management Evaluation Evaluation methods Impact assessment
149	Proceedings of the 36th Hawaii International Conference on System Sciences[removed]The BASP Agent-Based Modeling Framework: Applications, Scenarios and Lessons Learned David S. Dixon & William N. Reynolds Least Squares S Add to Reading List Source URL: www.leastsquares.com Language: English - Date: 2009-02-16 23:50:18 Science Logic in computer science Fuzzy logic Non-classical logic Agent-based model Simulation Recon Games Artificial intelligence Logic
150	The evaluator as change agent in industry: Challenges and strategies for success Dr Lewis Atkinson Manager, Evaluation and Program Improvement at Meat and Livestock Australia Ltd “I prefer a pyramid metaphor of leade Add to Reading List Source URL: www.aes.asn.au Language: English - Date: 2013-10-31 22:24:05 Methodology Impact assessment Program evaluation Empowerment evaluation Logic model Evaluation Evaluation methods Sociology

UPDATE